Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
651	A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University Abstract. Orc [9] is a language for task orchestration. It has a small Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-10-25 16:53:58 Abstract algebra Programming language semantics Lambda calculus Denotational semantics Continuous function Valuation Combinatory logic Theoretical computer science Logic in computer science Mathematics
652	A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-09-15 22:48:05 Programming paradigms Prolog Compiler optimizations Logic programming Parallel computing Warren Abstract Machine Stack Call stack Automatic parallelization Software engineering Computing Computer programming
653	Math. Appl), 167–175 DOI: maNEW BOUNDS FOR IRRATIONALITY MEASURES OF SOME FAST CONVERGING SERIES ˇ Add to Reading List Source URL: ma.fme.vutbr.cz Language: English - Date: 2015-01-08 02:59:20 Set theory Fourier analysis Abstract simplicial complex Algebraic topology Mathematical logic Mathematics Ordinal numbers
654	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-07-05 14:23:02 Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics Mathematical logic Logic
655	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
656	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
657	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
658	Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2010-04-03 13:35:16 Programming paradigms Logic programming Constraint programming Prolog Warren Abstract Machine Logic Constraint logic programming Parallel computing Procedural programming Software engineering Computer programming Computing
659	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
660	Automatic Data Mapping of Signal Processing Applications Corinne Ancourt1 Denis Barthou2 Christophe Guettier3 Francois Irigoin1 Bertrand Jeannet3 Jean Jourdan3 Juliette Mattioli3 Abstract Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:40:28 Software engineering Computer programming Parallel computing Loop optimization Automatic parallelization Constraint logic programming Memory address Constraint satisfaction problem Compiler optimizations Constraint programming Computing

UPDATE